Planning for Steerable Bevel-tip Needle Insertion Through 2D Soft Tissue with Obstacles∗ Ron Alterovitz Ken Goldberg

Source URL: goldberg.berkeley.edu

• Surgical procedures
• Biopsy
• Motion planning
• Theoretical computer science
• Needle
• Prostate cancer
• Transurethral needle ablation of the prostate

Ramsey-type graph coloring and diagonal non-computability Ludovic Patey Abstract A function is diagonally non-computable (d.n.c.) if it diagonalizes against the universal partial computable function. D.n.c. functions pla

Source URL: ludovicpatey.com

• Computability theory
• Theory of computation
• Mathematics
• Theoretical computer science
• Mathematical analysis
• Computable function
• Sigma-algebra
• Generalised Whitehead product

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

Source URL: eacsl.kahle.ch

• Theoretical computer science
• Rajeev Alur
• Logic in computer science
• Symposium on Logic in Computer Science
• Automata
• Hybrid automaton
• Formal languages
• Timed automaton

On the Study of the Ethernet Franz T. Shenkrishnan, Ph.D. 1 Motivation

Source URL: pdos.csail.mit.edu

• Applied mathematics
• Computational neuroscience
• Computational statistics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Artificial neural network
• Mathematics

Protein Folding Challenge and Theoretical Computer Science Somenath Biswas Department of Computer Science and Engineering, Indian Institute of Technology Kanpur. (Extended Abstract)

Source URL: www.cse.iitk.ac.in

Distributed Computing Semester Thesis / Bachelor Thesis Collaborative Graph Evacuation

Source URL: www.tik.ee.ethz.ch

• Mathematics
• Theoretical computer science
• Algorithm
• Mathematical logic
• Ear decomposition
• Robotics

Optimal Projective Algorithms for the List Update Problem Christoph Amb¨uhl1 , Bernd G¨artner1 , and Bernhard von Stengel2 1 Institute for Theoretical Computer Science, ETH Z¨urich, 8092 Z¨urich, Switzerland.

Source URL: www.maths.lse.ac.uk

• Online algorithms
• Analysis of algorithms
• Computer science
• Mathematics
• Applied mathematics
• Competitive analysis
• List update problem
• Algorithm
• Permutation
• Adversary model
• Homography

3D Path Planning and Execution for Search and Rescue Ground Robots Francis Colas and Srivatsa Mahesh and Franc¸ois Pomerleau and Ming Liu and Roland Siegwart Abstract— One milestone for autonomous mobile robotics is t

Source URL: www.ee.ust.hk

• Robotics
• Robot navigation
• Motion planning
• Theoretical computer science
• Artificial intelligence
• Probabilistic roadmap
• Mobile robot
• Robot
• Autonomous robot
• Simultaneous localization and mapping
• Any-angle path planning

Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2

Source URL: se.inf.ethz.ch

• Logic
• Theoretical computer science
• Mathematical logic
• Logic in computer science
• Java bytecode
• Hoare logic
• Interpretation
• Separation logic
• Bytecode
• Model theory

Reasoning in Fuzzy Description Logics using Automata Stefan Borgwardta,∗, Rafael Peñalozab,∗ a Institute for Theoretical Computer Science, Technische Universität Dresden, Germany b KRDB Research Centre, Free Univer

Source URL: ddll.inf.tu-dresden.de